منابع مشابه
Planning and verifying service composition
A static approach is proposed to study secure composition of services. We extend the λ-calculus with primitives for selecting and invoking services that respect given security requirements. Security-critical code is enclosed in policy framings with a possibly nested, local scope. Policy framings enforce safety and liveness properties. The actual run-time behaviour of services is over-approximat...
متن کاملVerifying Correctness of Web Service Composition
We evaluate current efforts for Web service orchestration and composition. Most approaches reduce composition to programming the flow of partner services, according to the specified goal. We show an alternative approach to Web service composition, where partners are modeled as state machines and composed into a single resulting state machine, which guarantees functional and non-functional prope...
متن کاملWeb Service Composition as Planning
We show how the service composition problem can be viewed as a planning problem in which state descriptions are ambiguous and operator definitions are incomplete. We then discuss the problem of interpreting documents (which describe the world state), and introduce a semantic type matching algorithm. The matching algorithm together with an interleaved search and execution algorithm allow for bas...
متن کاملPlanning and Monitoring Web Service Composition
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, and maintenance of complex services. In this paper, we exploit techniques based on the “Planning as Model Checking” approach to automatically compose web services and synthesize monitoring components. By relying on such...
متن کاملAI planning - based semantic web service composition
Semantic web service composition constitutes the phases namely specification, matchmaking, planning, validation, discovery and execution. As web service composition is categorised as an AI planning problem, the objective of this paper is to propose a fluent calculus approach for the planning phase of the semantic web service composition. Among various methods to solve the AI planning problem, l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer Security
سال: 2009
ISSN: 1875-8924,0926-227X
DOI: 10.3233/jcs-2009-0357